metric spaces and topology